#include <string.h>
#include <init.h>
#include <syscall.h>

int main()
{
	char* myfirstchar="I love China.";
	int fd;
	
	init(NULL);
	fd = createfile("/myfile1.txt", I_READ | I_WRITE);
	
	writefile(fd, myfirstchar, strlen(myfirstchar));
	closefile(fd);
	
	return 0;
}
